propositional logic

「propositional logic」のレベル別の例文

• 中学

  Computers use propositional logic to make simple true-or-false decisions.

  コンピューターは命題論理を使って、単純な真偽の判断をする。

• 高校・英検2級

  Students can represent everyday statements with propositional logic symbols.

  学生は日常の文を命題論理の記号で表すことができる。

• TOEIC・ビジネス

  The engineering team applied propositional logic when designing the system's decision rules.

  技術チームはシステムの判断規則を設計する際に命題論理を応用した。

• 日常会話

  Can we express this argument in propositional logic?

  この議論を命題論理で表せる？

「propositional logic」のよく使う型

• use propositional logic to do命題論理を使って…する

  Researchers use propositional logic to model simple decisions.

  研究者は命題論理を使って単純な判断をモデル化する。

• a formula in propositional logic命題論理による式

  The program evaluates a formula in propositional logic.

  そのプログラムは命題論理による式を評価する。

• translate A into propositional logicAを命題論理に翻訳する、書き換える

  We translate the rule into propositional logic.

  私たちはその規則を命題論理に書き換える。

「propositional logic」とよく一緒に使う語

• propositional logic formula命題論理の式
• propositional logic variable命題論理の変数
• propositional logic expression命題論理式
• propositional logic solver命題論理ソルバー
• propositional logic satisfiability命題論理の充足可能性

「propositional logic」のよくある間違い

• ✕ proposition logic

  ○ propositional logic

  propositionではなく、形容詞形のpropositionalを使う。

「 propositional logic」の英英 英英

A formal system that deals with whole propositions and their truth values, focusing on logical connectives and truth-value evaluation without quantifiers.

「propositional logic」のよくある質問